Minimal Synthesis of String To String Functions From Examples

We study the problem of synthesizing string to string transformations from a set of input/output examples. The transformations we consider are expressed using deterministic finite automata (DFA) that read pairs of letters, one letter from the input and one from the output. The DFA corresponding to these transformations have additional constraints, ensuring that each input string is mapped to exactly one output string. We suggest that, given a set of input/output examples, the smallest DFA consistent with the examples is a good candidate for the transformation the user was expecting. We therefore study the problem of, given a set of examples, finding a minimal DFA consistent with the examples and satisfying the functionality and totality constraints mentioned above. We prove that, in general, this problem (the corresponding decision problem) is NP-complete. This is unlike the standard DFA minimization problem which can be solved in polynomial time. We provide several NP-hardness proofs that show the hardness of multiple (independent) variants of the problem. Finally, we propose an algorithm for finding the minimal DFA consistent with input/output examples, that uses a reduction to SMT solvers. We implemented the algorithm, and used it to evaluate the likelihood that the minimal DFA indeed corresponds to the DFA expected by the user.Comment: SYNT 201

MCDA stakeholder workshops

Within the CONFIDENCE project, comprehensive methods have been developed for better support of decision making under uncertain conditions, mainly by use of Multi Criteria Decision Analysis (MCDA). While MCDA in general was available for use in the radiological crisis management community, no method of analysing uncertain conditions and supporting robust decision making under these conditions was available. During the CONFIDENCE project, the existing MCDA tool was improved and enhanced to deal with these requirements. For providing solid and reliable decision support for such a situation as a radiological emergency, the evaluation of decision-support tools by the stakeholders and their feedback is important, especially when considering their heterogeneous background caused by e.g. living in different countries. Therefore, several stakeholder panels in different countries were organized to include the end users’ opinions and to assure the usability of the final tool

Small Cell Carcinoma of the Ovary, Hypercalcemic Type (SCCOHT):Patient Characteristics, Treatment, and Outcome—A Systematic Review

Background: Small-cell carcinoma of the ovary, hypercalcemic type (SCCOHT) is a rare aggressive ovarian malignancy mainly affecting children, adolescents, and young adults. Since the discovery of mutations in the SMARCA4 gene in 2014, SCCOHT has become the subject of extensive investigation. However, international uniform treatment guidelines for SCCOHT are lacking and the outcome remains poor. The aim of this systematic review is to generate an overview of all reported patients with SCCOHT from 1990 onwards, describing the clinical presentation, genetic characteristics, treatment, and outcome. Methods: A systematic search was performed in the databases Embase, Medline, Web of Science, and Cochrane for studies that focus on SCCOHT. Patient characteristics and treatment data were extracted from the included studies. Survival was estimated using Kaplan–Meier’s methodology. To assess the difference between survival, the log-rank test was used. To quantify the effect of the FIGO stage, the Cox proportional hazard regression model was estimated. The chi-squared test was used to study the association between the FIGO stage and the surgical procedures. Results: Sixty-seven studies describing a total of 306 patients were included. The median patient age was 25 years (range 1–60 years). The patients mostly presented with non-specific symptoms such as abdominal pain and sometimes showed hypercalcemia and elevated CA-125. A great diversity in the diagnostic work-up and therapeutic approaches was reported. The chemotherapy regimens were very diverse, all containing a platinum-based (cisplatin or carboplatin) backbone. Survival was strongly associated with the FIGO stage at diagnosis. Conclusions: SCCOHT is a rare and aggressive ovarian cancer, with a poor prognosis, and information on adequate treatment for this cancer is lacking. The testing of mutations in SMARCA4 is crucial for an accurate diagnosis and may lead to new treatment options. Harmonization and international collaboration to obtain high-quality data on diagnostic investigations, treatment, and outcome are warranted to be able to develop international treatment guidelines to improve the survival chances of young women with SCCOHT.</p

Ultraviolet Irradiation Induces the Accumulation of Chondroitin Sulfate, but Not Other Glycosaminoglycans, in Human Skin

Ultraviolet (UV) light alters cutaneous structure and function. Prior work has shown loss of dermal hyaluronan after UV-irradiation of human skin, yet UV exposure increases total glycosaminoglycan (GAG) content in mouse models. To more fully describe UV-induced alterations to cutaneous GAG content, we subjected human volunteers to intermediate-term (5 doses/week for 4 weeks) or single-dose UV exposure. Total dermal uronyl-containing GAGs increased substantially with each of these regimens. We found that UV exposure substantially increased dermal content of chondroitin sulfate (CS), but not hyaluronan, heparan sulfate, or dermatan sulfate. UV induced the accumulation of both the 4-sulfated (C4S) and 6-sulfated (C6S) isoforms of CS, but in distinct distributions. Next, we examined several CS proteoglycan core proteins and found a significant accumulation of dermal and endothelial serglycin, but not of decorin or versican, after UV exposure. To examine regulation in vitro, we found that UVB in combination with IL-1α, a cytokine upregulated by UV radiation, induced serglycin mRNA in cultured dermal fibroblasts, but did not induce the chondroitin sulfate synthases. Overall, our data indicate that intermediate-term and single-dose UVB exposure induces specific GAGs and proteoglycan core proteins in human skin in vivo. These molecules have important biologic functions and contribute to the cutaneous response to UV

Pathway Analysis for Genome-Wide Association Study of Basal Cell Carcinoma of the Skin

Recently, a pathway-based approach has been developed to evaluate the cumulative contribution of the functionally related genes for genome-wide association studies (GWASs), which may help utilize GWAS data to a greater extent.In this study, we applied this approach for the GWAS of basal cell carcinoma (BCC) of the skin. We first conducted the BCC GWAS among 1,797 BCC cases and 5,197 controls in Caucasians with 740,760 genotyped SNPs. 115,688 SNPs were grouped into gene transcripts within 20 kb in distance and then into 174 Kyoto Encyclopedia of Genes and Genomes pathways, 205 BioCarta pathways, as well as two positive control gene sets (pigmentation gene set and BCC risk gene set). The association of each pathway with BCC risk was evaluated using the weighted Kolmogorov-Smirnov test. One thousand permutations were conducted to assess the significance.Both of the positive control gene sets reached pathway p-values<0.05. Four other pathways were also significantly associated with BCC risk: the heparan sulfate biosynthesis pathway (p  =  0.007, false discovery rate, FDR  =  0.35), the mCalpain pathway (p  =  0.002, FDR  =  0.12), the Rho cell motility signaling pathway (p  =  0.011, FDR  =  0.30), and the nitric oxide pathway (p  =  0.022, FDR  =  0.42).We identified four pathways associated with BCC risk, which may offer new insights into the etiology of BCC upon further validation, and this approach may help identify potential biological pathways that might be missed by the standard GWAS approach

Заболевание тазобедренного сустава у детей с наследственной предрасположенностью: концептуальная модель

На основе принципов интегративной медицины, системного подхода с использованием концептуально−логического моделирования разработана единая система представлений о заболеваниях тазобедренного сустава у детей с наследственной предрасположенностью. Показано, что предлагаемый интегративный подход может служить основой для разработки диагностических и прогностических критериев развития суставов и проведения патогенетического хирургического лечения, направленного на ликвидацию или существенное снижение частоты формирования диспластического коксартроза.Based on the principles of integrative medicine, systemic approach with the use of concept of logical modelling, a uniform system of concepts about the diseases of the hip joint in children with hereditary susceptibility was worked out. It was shown that the suggested integrative approach can be used for working out diagnostic and prognostic criteria of joint development and performing pathogenetic surgery aimed at elimination or reduction in the frequency of forming dysplastic coxarthrosis

A Computational Approach to Analyze the Mechanism of Action of the Kinase Inhibitor Bafetinib

Prediction of drug action in human cells is a major challenge in biomedical research. Additionally, there is strong interest in finding new applications for approved drugs and identifying potential side effects. We present a computational strategy to predict mechanisms, risks and potential new domains of drug treatment on the basis of target profiles acquired through chemical proteomics. Functional protein-protein interaction networks that share one biological function are constructed and their crosstalk with the drug is scored regarding function disruption. We apply this procedure to the target profile of the second-generation BCR-ABL inhibitor bafetinib which is in development for the treatment of imatinib-resistant chronic myeloid leukemia. Beside the well known effect on apoptosis, we propose potential treatment of lung cancer and IGF1R expressing blast crisis

Graph rewriting semantics for functional programming languages

Contains fulltext : 29319.pdf (preprint version ) (Open Access